101. Dynamic programming :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Agricultural resources -- Management -- Mathematical models.,Natural resources -- Management -- Mathematical models.,Programmation dynamique.

رده :
S561
.
J646
1986

102. Economic and Financial Knowledge-Based Processing

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Economics.,Management information systems.

رده :
HG173
.
B956
1990

103. Essays on Mathematical and Philosophical Logic Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-finnish Logic Conference, Jyvs̃kyl, ̃ Finland, June 29-july 6, 1976.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :
B67
.
H568
2013

104. Essential algorithms :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : C# (Computer program language),Computer algorithms.,Python (Computer program language),C# (Computer program language),Computer algorithms.,Computers and IT.,COMPUTERS-- Programming-- Algorithms.,Python (Computer program language)

رده :
QA76
.
9
.
A43
S746
2019eb

105. Families of Riemann surfaces and Weil-Petersson geometry /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Ergodic theory.,Geometry, Riemannian.,Hyperbolic groups.,Riemann surfaces.,Teichmüller spaces.,Ergodic theory.,Geometry, Riemannian.,Hyperbolic groups.,Riemann surfaces.,Riemannytor.,Teichmüller spaces.

رده :
QA337
.
W65
2010

106. Finitely axiomatizable theories /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Axiomatic recursion theory

رده :
QA9
.
6
.
P47
1997

107. First-order dynamic logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory

رده :
QA
76
.
6
.
H34
1979

108. First-order dynamic logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory

رده :
QA
76
.
L4
v
.
68

109. First-order dynamic logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer programming,، Logic, Symbolic and mathematical,، Recursion theory

رده :
QA
76
.
L28
Vol
.
68

110. Forensic economics :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Criminal law.,Damages-- United States.,Economics-- Psychological aspects.,Finance, Public.,Forensic economics-- United States.,Insurance.,Macroeconomics.

رده :
KF1250
.
F67
2016

111. Foundations of Logic and Mathematics

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.

112. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses

رده :
QA
9
.
6
.
I57
1983

113. Foundations of mathematical system dynamics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Economics, Mathematical.,Social sciences-- Statistical methods.

رده :
HB135
.
A865
1989

114. Foundations of mathematical system dynamics : the fundamental theory of causal recursion and its application to social science and economics

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع : ، Economics, Mathematical,، Social sciences- Statistical methods

115. Foundations of software science and computation structures :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.

116. Fully homomorphic encryption in real world applications /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Homomorphisms (Mathematics),Cryptography-- Mathematics.,Homomorphisms (Mathematics),SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.

رده :
QA268

117. Functional methods in quantum field theory and statistical physics /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Functional analysis.,Quantum field theory.,Quantum statistics.,Functional analysis.,Quantum field theory.,Quantum statistics.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.

رده :
QC174
.
52
.
F8
V3713
1998

118. Fundamental aspects of operational risk and insurance analytics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Operational risk.,Risk management.,Emergency management.,Operational risk.,Risk management.

رده :
HD61

119. Fundamental issues of artificial intelligence

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Artificial intelligence,Electronic books,Electronic books

رده :
EBOOK
,
Q
F8
335

120. Fundamentals of Algebraic Specification 2 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Logic design.,Software engineering.

رده :
QA76
.
9
.
L63
B943
1990